Modelling Destructive Assignments
نویسندگان
چکیده
Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. The most obvious is for symbolic execution of the code, where the code is executed without necessarily knowing the concrete values. In this paper, we discuss translations from procedural object oriented code to constraints in the context of solving optimisation problems defined via simulation. A key difficulty arising in the translation is the modelling of state changes. We introduce a new technique for modelling destructive assignments that outperforms previous approaches. Our results show that the optimisation models generated by our technique can be as efficient as equivalent hand written models.
منابع مشابه
Measurement and Modelling of the Rubber Resilience based on Ultrasonic Non-destructive Testing in Tires
In tire industry, it is very crucial to evaluate physical and mechanical properties of the rubber which is used for production of the tire, to ensure the quality of the final product. Resilience is an important property of a rubber, which cannot be evaluated through direct measurement in production cycle in this industry. Therefore, non-destructive ultrasonic testing, which has been used in man...
متن کاملGenerating Perfect Reversals of Simple Linear-Codes GIT-CERCS-TR-03-04
Bi-directional execution – executing forward as well as in reverse – is useful in many contexts. However, traditional techniques for bi-directional execution are not scalable, as they require infinite storage in the presence of “destructive” assignments. We present a new approach that eliminates the scalability problem for bi-directional execution of a class of functions called linear codes, wh...
متن کاملGeneralized basic probability assignments
Dempster-Shafer theory allows to construct belief functions from (precise) basic probability assignments. The present paper extends this idea substantially. By considering sets of basic probability assignments, an appealing constructive approach to general interval probability (general imprecise probabilities) is achieved, which allows for a very flexible modelling of uncertain knowledge.
متن کاملComputational Analysis for Conservation of Works of Art
Scholars in the areas of conservation of art are in need of scientific information that can be reliably used in the historical examination of works of art. Most existing methods for the analysis of the material used in works of art are based on destructive testing techniques that require the physical sampling of data. However, such methods cannot be used widely due to their destructive nature a...
متن کاملPhysical Modelling of Self-Aeration in a Cavitating Sudden PIPE Expansion Flow
Sudden pipe expansions have been known as efficient hydraulic energy dissipaters for a long time. The complex phenomenon of flow separation and velocity discontinuity at the interface of incoming jet and the recirculation flow, results in intensive shear and tensile rupture of the fluid and the associated destructive phenomenon of cavitation. This paper focuses on aeration in sudden pipe expans...
متن کامل